Survey on Formal Methods in Robotics

on the status of mixed methods research in applied linguistics

چکیده ندارد.

A Survey on Formal Methods for Web Service Composition

Web Service Composition creates new composite Web Services from existing Web Services which embodies the added values of Web Service technology and is a key technology to solve cross-organizational business process integrations. We do a survey on formal methods for Web Service Composition in the following way. Through analyses of Web Service Composition, we establish a reference model called RM...

High-Assurance Separation Kernels: A Survey on Formal Methods

ion Formalization Synthesis R ef in em en t Binary Code Compile Formalization Low-level Design Model High-level Design Model Fig. 3. Application Schema of Formal Methods on Separation Kernels. plied to security of separation kernels. Although the SKPP was sunset in 2011, NSA still recommend separation kernels for security-critical systems. As for safety, Esposito et al. [2013] has summarized a ...

A Survey of Formal Software Development Methods

A Survey on Swarm Robotics

In this chapter, the current work on swarm robotics is briefly reviewed. Swarm robotics, inspired from nature swarm, is a combination of swarm intelligence and robotic, and shows great potential in several aspects. Firstly of all, the cooperation in nature swarm and swarm intelligence is briefly introduced, and the special features of the swarm robotics compared with single robot and other mult...